Normalised Squeeziness and Failed Error Propagation
نویسندگان
چکیده
منابع مشابه
An Analysis of the Relationship between Information Squeeziness and Failed Error Propagation in Software Testing
Failed error propagation (FEP) is known to hamper software testing, yet it remains poorly understood. We introduce an information theoretic formulation of FEP that is based on measures of conditional entropy. This formulation considers the situation in which we are interested in the potential for an incorrect program state at statement s to fail to propagate to incorrect output. We define five ...
متن کاملNormalised Rewriting and Normalised Completion
We introduce normalised rewriting, a new rewrite relation. It generalises former notions of rewriting modulo E, dropping some conditions on E. For example , E can now be the theory of identity, idempo-tency, the theory of Abelian groups, the theory of com-mutative rings. We give a new completion algorithm for normalised rewriting. It contains as an instance the usual AC completion algorithm, bu...
متن کاملError Propagation
1 This work is supported by the National Science Foundation through ITR program grant No CCR 0296082, and by NASA through a grant from the NASA Office of Safety and Mission Assurance (OSMA) Software Assurance Research Program (SARP) managed through the NASA Independent Verification and Validation (IV&V) Facility, Fairmont, West Virginia. 2 Correspondence author. E-mail: [email protected] Abstract
متن کاملStatistical uncertainty and error propagation
This lecture is about some of the basics of uncertainty: the use of variances and covariances to express statistical uncertainty (“error bars”, error ellipses); we are concentrating on the uncertainties of geographic co-ordinates. This makes it necessary to talk about geodetic datums – alternative ways of fixing the starting point(s) used for fixing geodetic co-ordinates in a network solution. ...
متن کاملUniversal Error Propagation Law
As an ubiquitous statistical theory, Gaussian Distribution (GD) or Gaussian Error Propagation Law (GEPL) has been widely used for modelling random errors in many engineering and application fields since 1809. In recent years, this theory has been extended to handle the uncertainties of spatial data in GIS, such as positional error modelling. But most of the results for spatial error modelling b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 2019
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2019.04.001